Analytic difference rings
نویسنده
چکیده
Generalizing and synthesizing earlier work on the model theory of valued difference fields and on the model theory of valued fields with analytic structure, we prove Ax-Kochen-Eršov style relative completeness and relative quantifier elimination theorems for a theory of valuation rings with analytic and difference structure. Specializing our results to the case of W [F p ], the ring of Witt vectors of the algebraic closure of the field with p elements, given together with the relative Frobenius and the Tate algebras as analytic structure, we develop a model theoretic account of Buium’s p-differential functions. In so doing, we derive a uniform p-adic version of the Manin-Mumford conjecture. Mathematics Subject Classification (2000). Primary 03C10, 03C60, 12J10; Secondary 11D45, 11G10, 12H10, 13K05.
منابع مشابه
Results on Generalization of Burch’s Inequality and the Depth of Rees Algebra and Associated Graded Rings of an Ideal with Respect to a Cohen-Macaulay Module
Let be a local Cohen-Macaulay ring with infinite residue field, an Cohen - Macaulay module and an ideal of Consider and , respectively, the Rees Algebra and associated graded ring of , and denote by the analytic spread of Burch’s inequality says that and equality holds if is Cohen-Macaulay. Thus, in that case one can compute the depth of associated graded ring of as In this paper we ...
متن کاملOn the Pythagoras Numbers of Real Analytic Rings
The Pythagoras number of a ring A is the smallest integer p A = p ≥ 1 such that any sum of squares of A is a sum of p squares, and p A = +∞ if such an integer does not exist. This is a very delicate invariant whose study has deserved a lot of attention from specialists in number theory, quadratic forms, real algebra, and real geometry. Wellknown examples are the following: p = 4 (Lagrange’s fam...
متن کاملHomological properties of rings of functional-analytic type.
Strong flatness properties are established for a large class of functional-analytic rings including all C*-algebras. This is later used to prove that all those rings satisfy excision in Hochschild and in cyclic homology over almost arbitrary rings of coefficients and that, for stable C*-algebras, the Hochschild and cyclic homology groups defined over an arbitrary coefficient ring k subset C of ...
متن کاملArithmetic Geometry Learning Seminar: Adic Spaces
1. January 12th – Motivation (Bhargav Bhatt) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2. January 26th – Huber rings (Rankeya Datta). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.1. Notation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملA generalization of formal schemes and rigid analytic varieties
In this paper we construct a natural category ~r of locally and topologically ringed spaces which contains both the category of locally noetherian formal schemes and the category of rigid analytic varieties as full subcategories. This category has applications in algebraic geometry and rigid analytic geometry. The idea of the definition of the category ~r is the following. From a formal point o...
متن کامل